Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
861	Trimming while Checking Clausal Proofs Marijn J.H. Heule, Warren A. Hunt, Jr., and Nathan Wetzler The University of Texas at Austin Abstract—Conflict-driven clause learning (CDCL) satisfiability solvers can emit more t Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 11:58:01 Unsatisfiable core Conjunctive normal form Resolution Five lemma Theorem Logic programming Unit propagation Automated proof checking Boolean satisfiability problem Logic Mathematics Automated theorem proving
862	Electronics / Photonics NanoBridge Technology for Reconfigurable LSI SAKAMOTO Toshitsugu, KAERIYAMA Shunichi, MIZUNO Masayuki, TERABE Kazuya, HASEGAWA Tsuyoshi, AONO Masakazu Abstract Add to Reading List Source URL: www.nec.com Language: English - Date: 2013-10-01 21:34:29 Logic gate Transistor Power supply Battery Integrated circuit Electronic engineering Electrical engineering Semiconductor devices Technology Field-programmable gate array
863	Supercomputer SX-9 Hardware CAD Technology of the SX-9 KONNO Yoshihiro, IKAWA Yasuhiro, SAWANO Tomoki KANAMARU Keisuke, ONO Koki, KUMAZAKI Masahito Abstract Add to Reading List Source URL: www.nec.com Language: English - Date: 2012-09-11 09:43:23 Logic design Integrated circuits Electronic design automation Hardware description language Technical communication NEC SX-8 NEC SX-9 Application-specific integrated circuit NEC Electronic engineering Digital electronics Electronics
864	BROWN ON MACKIE: ECHOES OF THE LOTTERY PARADOX David Faraci Abstract In “The possibility of morality,” Phil Brown considers whether moral error theory is best understood as a necessary or contingent thesis. Among oth Add to Reading List Source URL: personal.bgsu.edu Language: English - Date: 2013-10-22 18:07:56 Paradoxes Moral skepticism Morality Abductive reasoning Lottery paradox Argument Possible world Modal logic Logic Epistemology Skepticism
865	Abstraction-Guided Synthesis of Synchronization Martin Vechev Eran Yahav Greta Yorsh Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:26 Function Abstraction Mereology Valuation Mathematics Mathematical logic Abstract interpretation
866	Faraci and Linford 1 ON THE NECESSARY EXISTENCE OF GOD-MINUS David Faraci and Daniel Linford Abstract Add to Reading List Source URL: personal.bgsu.edu Language: English - Date: 2012-12-10 21:31:09 Arguments for the existence of God Philosophy of religion Arguments against the existence of God Theology Ontological argument Modal logic Gaunilo of Marmoutiers Existence of God Proslogion Philosophy Religion Theism
867	Harmony and Modality Stephen Read abstract. It is argued that the meaning of the modal connectives must be given inferentially, by the rules for the assertion of formulae containing them, and not semantically by referenc Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2012-05-15 10:27:11 Mathematics Deduction Natural deduction Ordinal numbers Set theory Curry–Howard correspondence Mathematical logic Proof theory Logic
868	Semantic Pollution and Syntactic Purity Stephen Read University of St Andrews November 25, 2014 Abstract Logical inferentialism claims that the meaning of the logical constants Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2014-11-25 06:50:30 Mathematics Natural deduction Sequent calculus Lambda calculus Ordinal number Constructible universe Sequent Symbol Modal logic Mathematical logic Logic Proof theory
869	Logique & Analyse 183–[removed]), x–x LOGICAL CONSEQUENCE AS TRUTH-PRESERVATION STEPHEN READ Abstract It is often suggested that truth-preservation is insufficient for logical Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2012-05-15 09:20:19 Philosophical logic Mathematical logic Non-classical logic Paradoxes of material implication Entailment Material conditional Validity Relevance logic Principia Mathematica Logic Propositional calculus Logical consequence
870	Knowledge in Action Jonathan Weisberg University of Toronto Abstract Recent proposals that frame norms of action in terms of knowledge have been challenged by Bayesian decision theorists. Bayesians object that Add to Reading List Source URL: www.utm.utoronto.ca Language: English - Date: 2013-10-06 18:55:38 Reasoning Bayesian statistics Statistical inference Decision theory Game theory Bayesian probability Reason Rationality Expected utility hypothesis Statistics Logic Knowledge

UPDATE